Proof Complexity of Modal Resolution

Journal of Automated Reasoning - We investigate the proof complexity of modal resolution systems developed by Nalon and Dixon (J Algorithms 62(3–4):117–134, 2007) and Nalon et al. (in:...     

3D printing system: an innovation for small-scale manufacturing in home settings? – early adopters of 3D printing systems in China

This study investigates Chinese consumers’ adoption of the innovative 3D printing systems for small-scale manufacturing in home settings. Empirical studies were conducted in a survey with 256 participants. The number of significant determinants that affect an individual’s decision to adopt 3D printing systems has been identified by applying a model that integrates the Technology Acceptance Model and Innovation Diffusion Theory. A number of moderation effects of demographic variables (e.g. gender, design background) on the association between motivational variables and participants’ adoption have also been analysed with factor analysis, structural equation modelling and hierarchical regression. Our results shed some light on the characteristics of early adopters of home 3D printing systems in China. This study contributes to the early understanding of Chinese consumers’ adoption of innovative 3D printing systems.     

Stereoisomers composition of 4-[(1′-methylpropyl)-oxycarbonyl]-2-oxetanone and related compounds,as precursors of fuctional polyesters,determined by chiral gas chromatography

Summary The configurational analysis of racemic and optically active stereoisomers of 4-[(1-methylpropyl)oxycarbonyl]-2-oxetanone has been carried out by using chiral gas chromatography. This technique has been successful in the stereoisomers composition determination of these -substituted -lactones prepared by two different routes and used as monomers in the preparation of malic acid stereocopolymers. Result are in good agreement with those obtained from high resolution ¹H NMR, in the presence of an Europium salt, as chiral shift reagent. This method has been extended to 3-methyl-4-[(1,2,2-trimethyl propyl)oxycarbonyl]-2-oxetanone. The exact knowledge of precursors configurational structure is very important in regard to the obtention of the corresponding polystereoisomers with a strictly controlled enantiomeric or diastereoisomeric composition and consequently with predictable properties.     

The effects of different roster schedules on sleep in miners

Shiftwork involving early morning starts and night work can affect both sleep and fatigue. This study aimed to assess the impact of different rostering schedules at an Australian mine site on sleep and subjective sleep quality. Participants worked one of four rosters;

4 × 4 (n = 14) 4D4O4N4O

7 × 4 (n = 10) 7D4O7N40

10 × 5 (n = 17) 5D5N50

14 × 7 (n = 12) 7D7N70

Sleep (wrist actigraphy and sleep diaries) was monitored for a full roster cycle including days off. Total sleep time (TST) was longer on days off (7.0 ± 1.9) compared to sleep when on day (6.0 ± 1.0) and nightshifts (6.2 ± 1.6). Despite an increase in TST on days off, this may be insufficient to recover from the severe sleep restriction occurring during work times. Restricted sleep and quick shift-change periods may lead to long-term sleep loss and associated fatigue.     

Simulation based alternatives for overall process improvement at the cardiac catheterization lab

Cardiac catheterization is one of the critical procedures in patient care. It is pertinent for all process related issues in this department to be handled with due priority. This research is a cross-functional effort with a leading hospital that was in its planning stage to implement an overall process improvement at its cardiac catheterization lab department. It has been determined that significant process delays exist in this department. One of the identified key factors to process improvement was to reduce patient turnaround time. Process mapping was used to study the system and identify potential sources of delays in the system. A set of qualitative recommendations were put forward. These recommendations, include the reduction of wait time of outpatients and inpatients and the reduction of non-value-added times such as transfer time of patients, were evaluated using a discrete event simulation approach. The simulation study shows that the daily operating hours at the catheterization lab could be reduced, aiding to reallocate staff for discharging other duties, as the hospital may require.     

‘There was a lot of learning going on’ Using a digital medium to support learning in a professional course for new HE lecturers

This small scale action research study investigated the experiences of learners over two iterations as they completed a patchwork text assignment within the digital medium of a personal learning system (PLS). The aim was to investigate the extent to which using a PLS can facilitate formative and collaborative feedback to assist student learning. A secondary question, linked to the course being a post graduate Certificate for new HE teachers within a geographically dispersed university, was to examine if using a PLS in the programme would influence their interest in using it with their own students in the future. This question is of particular importance for the tutors of this programme, as the university attracts mainly part-time students who are studying at a distance from the university campus. The study was carried out as part of the JISC funded Flourish Project, whose overall aim was to examine the use of a PLS to support the development of academic staff.     

<Emphasis Type="Italic">A Midsummer Night’s Dream</Emphasis> (with flying robots)

Seven flying robot “fairies” joined human actors in the Texas A&;M production of William Shakespeare’s A Midsummer Night’s Dream. The production was a collaboration between the departments of Computer Science and Engineering, Electrical and Computer Engineering, and Theater Arts. The collaboration was motivated by two assertions. First, that the performing arts have principles for creating believable agents that will transfer to robots. Second, the theater is a natural testbed for evaluating the response of untrained human groups (both actors and the audience) to robots interacting with humans in shared spaces, i.e., were believable agents created? The production used two types of unmanned aerial vehicles, an AirRobot 100-b quadrotor platform about the size of a large pizza pan, and six E-flite Blade MCX palm-sized toy helicopters. The robots were used as alter egos for fairies in the play; the robots did not replace any actors, instead they were paired with them. The insertion of robots into the production was not widely advertised so the audience was the typical theatergoing demographic, not one consisting of people solely interested technology. The use of radio-controlled unmanned aerial vehicles provides insights into what types of autonomy are needed to create appropriate affective interactions with untrained human groups. The observations from the four weeks of practice and eight performances contribute (1) a taxonomy and methods for creating affect exchanges between robots and untrained human groups, (2) the importance of improvisation within robot theater, (3) insights into how untrained human groups form expectations about robots, and (4) awareness of the importance of safety and reliability as a design constraint for public engagement with robot platforms. The taxonomy captures that apparent affect can be created without explicit affective behaviors by the robot, but requires talented actors to convey the situation or express reactions. The audience’s response to robot crashes was a function of whether they had the opportunity to observe how the actors reacted to robot crashes on stage, suggesting that pre-existing expectations must be taken into account in the design of autonomy. Furthermore, it appears that the public expect robots to be more reliable (an expectation of consumer product hardening) and safe (an expectation from product liability) than the current capabilities and this may be a major challenge or even legal barrier for introducing robots into shared public spaces. These contributions are expected to inform design strategies for increasing public engagement with robot platforms through affect, and shows the value of arts-based approaches to public encounters with robots both for generating design strategies and for evaluation.     

Daily impaired detachment and short-term effects of impaired sleep quality on next-day commuting near-accidents – an ambulatory diary study

This study investigated the short-term effects of daily recovery, that is, impaired psychological detachment from work and various actigraphical indicators of sleep quality, on near-accidents when commuting to work the next morning. Furthermore, the mediating effect of actigraphically assessed sleep quality on the relationship between impaired psychological detachment from work and near-accidents when commuting to work was analysed. Fifty-six full-time employees of a Swiss assurance company participated in the one-week study. Multilevel analyses revealed that impaired detachment was highly related to a decrease in sleep duration. Furthermore, impaired daily recovery processes, such as impaired psychological detachment from work and disturbed sleep quality, were related to commuting near-accidents. Impaired sleep quality mediated the effect of impaired psychological detachment from work on these near-accidents. Our results show that occupational safety interventions should address both impaired psychological detachment from work and sleep quality in order to prevent near accidents when commuting to work.

Practitioner Summary: Commuting accidents occur frequently and have detrimental effects on employees, organisations and society. This study shows that daily lack of recovery, that is, impaired psychological detachment and impaired sleep quality, is related to near-accidents when commuting to work the next morning. Primary prevention of commuting accidents should therefore address daily lack of recovery.     

A generalized function projective synchronization scheme for uncertain chaotic systems subject to input nonlinearities

In this paper, a modified generalized function projective synchronization scheme for a class of master–slave chaotic systems subject to dynamic disturbances and input nonlinearities (dead-zone and sector nonlinearities) is investigated. This synchronization system can be seen as a generalization of many existing projective synchronization schemes (namely the function projective synchronization, the modified projective synchronization and so on), in the sense that the master system has a scaling function matrix and the slave system has a scaling factor matrix. To practically achieve this generalized function synchronization, an adaptive fuzzy variable-structure control system is designed. The fuzzy systems are used to appropriately approximate the uncertain nonlinear functions. A Lyapunov approach is employed to prove the boundedness of all signals of the closed-loop control system as well as the exponential convergence of the synchronization errors to an adjustable region. Simulations results are presented to illustrate the effectiveness of the proposed generalized function PS scheme.